منابع مشابه
How Vacuous Is Vacuous?
Model-checking gained wide popularity for analyzing software and hardware systems. However, even when the desired property holds, the property or the model may still require fixing. For example, a property φ: “on all paths, a request is followed by an acknowledgment”, may hold because no requests have been generated. Vacuity detection has been proposed to address the above problem. This techniq...
متن کاملAttention and feature integration in the feature inheritance effect
Features of neighboring elements are not processed independently. Often, it is assumed that nearby features are integrated by a (pre-attentive) pooling mechanism. Here, we show that in the feature inheritance effect some features are integrated across space whereas others are not. This result may be partly explained by a very focused spatial attention. Our findings challenge models based on a s...
متن کاملFrom Inheritance to Feature Interaction
In this paper we introduce a new model for composing objects from individual features in a fully exible and modular way Its main advantage is that di erent objects can be created just be selecting the desired features In addition there may be dependencies or interactions between features i e some feature must behave di erently in the presence of another one We present a modular solution to such...
متن کاملFeature inheritance versus extended projections
This article will show that the empirical data that Chomsky (2008) provides in favor of feature inheritance and parallel movement are rather suspect, and that there are both empirical and conceptual reasons to reject this implementation of the idea that the formal features in C and T originate in a single head position. This does not imply, however, that the latter idea should be completely rej...
متن کاملtopicalization and focus movement in persian a feature-based approach
topicalization and focus movement have been discussed in literature with respect to a vriety of their properties. in persian, syntactic objects within tense phrase, including phrasal arguments, may freely be displaced to a higher position and the reordering of these elements is mainly considered to be the result of discourse functional elements such as topic and focus. the present study is an e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ENGLISH LINGUISTICS
سال: 2012
ISSN: 0918-3701,1884-3107
DOI: 10.9793/elsj.29.2_316